<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Document [
  <!ENTITY rif  "http://www.w3.org/2007/rif#">
  <!ENTITY xs   "http://www.w3.org/2001/XMLSchema#">
  <!ENTITY rdf  "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
]>
<Document xmlns="&rif;">
  <payload>
    <Group>
      <sentence>
        <Forall>
          <declare>
            <Var>buyer</Var>
          </declare>
          <declare>
            <Var>item</Var>
          </declare>
          <declare>
            <Var>seller</Var>
          </declare>
          <formula>
            <Implies>
              <if>
                <Atom>
                  <op>
                    <Const type="&rif;iri">http://example.org/example#Sell</Const>
                  </op>
                  <args ordered="yes">
                    <Var>seller</Var>
                    <Var>item</Var>
                    <Var>buyer</Var>
                    <Var>price</Var>
                  </args>
                </Atom>
              </if>
              <then>
                <Atom>
                  <op>
                    <Const type="&rif;iri">http://example.org/example#Buy</Const>
                  </op>
                  <args ordered="yes">
                    <Var>buyer</Var>
                    <Var>item</Var>
                    <Var>seller</Var>
                  </args>
                </Atom>
              </then>
            </Implies>
          </formula>
        </Forall>
      </sentence>
    </Group>
  </payload>
</Document>
<!--XML document generated on Mon Aug 16 07:14:19 EDT 2010-->
